Device driver synthesis and verification - PDFSEARCH.IO - Document Search Engine

Device driver synthesis and verification
Results: 24

#	Item
21	Master’s Thesis Formal Verification of Linux Device Drivers Thomas Witkowski May 2007 Add to Reading List Source URL: www.cprover.org Language: English - Date: 2008-12-31 05:38:12 Formal methods Linux Device drivers Monolithic kernels Kernel Device driver Model checking Formal verification Device driver synthesis and verification Software Computing Computer architecture
22	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Quality assurance Fault injection Reliability engineering Formal verification Software verification Stress testing Flash memory Device driver synthesis and verification TestComplete Software testing Software quality Design
23	Avinux: Towards Automatic Verification of Linux Device Drivers Hendrik Post, Carsten Sinz, Wolfgang K¨ Add to Reading List Source URL: www.carstensinz.de Language: English - Date: 2008-08-26 05:32:59 Procedural programming languages Computing platforms Linux Kernel Device driver C Pointer Model checking Device driver synthesis and verification Computing Software Cross-platform software
24	PDF Document Add to Reading List Source URL: ertos.nicta.com.au Language: English Device drivers Device driver SystemVerilog E Google Chrome OS Universal Serial Bus Kernel Operating system Device driver synthesis and verification Electronic engineering Hardware verification languages Computer hardware

UPDATE